$\forall$$g$:IGroup, $a$, $b$, $c$:$\mid$$g$$\mid$. (($a$ $\ast$ $c$) = ($b$ $\ast$ $c$) $\in$ $\mid$$g$$\mid$) $\Rightarrow$ ($a$ = $b$)